Foncteur Ext

Les foncteurs Ext sont les foncteurs dérivés du foncteur Hom. Ils sont d'abord apparus en algèbre homologique, où ils jouent un rôle central par exemple dans le théorème des coefficients universels, mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques.

Ce foncteur apparaît originellement dans l'étude des extensions de modules, d'où il tire son nom.

Motivation : extensions de modules

Soit A une catégorie abélienne. D'après le théorème de plongement de Mitchell, on peut toujours imaginer travailler avec une catégorie de modules. On se donne trois objets X, Y et Z et on considère la classe E des suites exactes courtes de la forme

$0\to X\to Y\to Z\to 0$.

On parle d'extension de Z par X. Deux extensions

$0\to X\to Y\to Z\to 0$

$0\to X\to Y'\to Z\to 0$

sont dites équivalente s'il existe un morphisme $g:Y\to Y'$ tel que le diagramme

${\begin{matrix}0&\to &X&\to &Y&\to &Z&\to &0\\&&\downarrow \operatorname {id} &&\downarrow g&&\downarrow \operatorname {id} \\0&\to &X&\to &Y'&\to &Z&\to &0\end{matrix}}$

commute, avec $\operatorname {id}$ le morphisme identité. D'après le lemme des cinq, g est alors un isomorphisme.

La classe E modulo cette relation d'équivalence forme un ensemble, que l'on note $\operatorname {Ext} ^{1}(X,Z)$, des (classes d') extensions de Z par X. On peut doter cet ensemble d'une structure de groupe abélien, avec la somme de Baer pour opération interne.

Définition

Soit R un anneau, on travaille dans la catégorie ModR des R-modules. Soit A un objet de ModR, soit T le foncteur Hom

$T(B)=\operatorname {Hom} _{R}(A,B)$.

C'est un foncteur exact à gauche. Il possède donc des foncteurs dérivés à droite. On définit le foncteur Ext ainsi :

$\operatorname {Ext} _{R}^{n}(A,B)=(R^{n}T)(B)$.

En particulier, $\operatorname {Ext} ^{0}=\operatorname {Hom}$.

De manière duale, on peut utiliser le foncteur Hom contravariant $G(A)=\operatorname {Hom} _{R}(A,B)$ et définir $\operatorname {Ext} _{R}^{n}(A,B)=(R^{n}G)(A)$. Les foncteurs Ext ainsi construits, et calculés par exemple à partir de résolutions injectives ou projectives, sont isomorphes.

Référence

• (en) Saunders Mac Lane, Categories for the Working Mathematician [détail de l’édition]